Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
421	Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗ Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2014-05-15 19:14:45 Logic programming Mathematical logic Constraint programming Logic in computer science Programming paradigms Satisfiability modulo theories Answer set programming Stable model semantics G-code Subroutine Analogy Algorithm
422	arXiv:1507.02456v1 [cs.AI] 9 Jul 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-07-09 20:33:34 Graphical models Mathematics Logic Mathematical logic First-order logic Model theory Predicate logic Abox Eval Bayesian network Ring Markov random field
423	Equideductive Logic and CCCs with Subspaces Paul Taylor Domains Workshop IX U of Sussex, Tuesday, 23 September 2008 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:19 Mathematical logic Model theory Structure Universal algebra Homotopy theory Generalised Whitehead product Sigma-algebra
424	Representing Aggregators in Relational Probabilistic Models David Buchman⇤ Department of Computer Science University of British Columbia Vancouver, BC, Canada Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-11-23 13:34:56 Model theory Predicate logic Statistical models Regression analysis Probability theory Bayesian network Exchangeable random variables FO Type Expected value Joint probability distribution Quantifier
425	Reasoning about Independence in Probabilistic Models of Relational Data Marc Maier Katerina Marazopoulou Add to Reading List Source URL: www.statslab.cam.ac.uk Language: English - Date: 2013-07-03 13:11:37 Statistical models Mathematics Mathematical logic Logic Abstraction Graphical models Bayesian network Networks Relational model Database Structure Graph
426	Building a shared world: Mapping distributional to model-theoretic semantic spaces Aur´elie Herbelot Universit¨at Stuttgart Institut f¨ur Maschinelle Sprachverarbeitung Stuttgart, Germany Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-09-02 03:45:30 Semantics Logic Philosophy Linguistics Distributional semantics Semantics of logic Model theory Quantifier Web Ontology Language Duality
427	Alaska Native Heritage Center Logic Model ALASKA NATIVE HERITAGE CENTER INPUTS Add to Reading List Source URL: bmafunders.org Language: English - Date: 2015-01-29 11:41:09
428	Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2009-04-29 13:38:11 Theoretical computer science Constraint programming Declarative programming Logic programming Mathematics Model theory Logic in computer science NP-complete problems Constraint satisfaction problem Answer set programming Constraint satisfaction Satisfiability modulo theories
429	Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Grammar Linguistics Mathematical logic Syntax FO Finite model theory Argument Lambda calculus Predicate Functional predicate
430	A first approach to a continuous simulation of daily travel Fabian Märki David Charypar Kay W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-09-27 11:15:51 Simulation Electronic engineering Operations research Traffic simulation Logic simulation Continuous simulation Scientific modeling Design Electronics Agent-based model

UPDATE